Exponential time analysis of con
نویسندگان
چکیده
eNCE (edge label neighborhood controlled) graph grammars belong to the most powerful graph rewriting systems with single-node graphs on the left-hand side of the productions. From an algorithmic point of view, connuent and boundary eNCE graph grammars are the most interesting subclasses of eNCE graph grammars. In connuent eNCE graph grammars, the order in which nonterminal nodes are substituted is irrelevant for the resulting graph. In boundary eNCE graph grammars, nonterminal nodes are never adjacent. In this paper, we show that given a connuent or boundary eNCE graph grammar G, the problem whether the language L(G) deened by G is empty, is DEXPTIME-complete.
منابع مشابه
A new adaptive exponential smoothing method for non-stationary time series with level shifts
Simple exponential smoothing (SES) methods are the most commonly used methods in forecasting and time series analysis. However, they are generally insensitive to non-stationary structural events such as level shifts, ramp shifts, and spikes or impulses. Similar to that of outliers in stationary time series, these non-stationary events will lead to increased level of errors in the forecasting pr...
متن کاملNew Approach to Exponential Stability Analysis and Stabilization for Delayed T-S Fuzzy Markovian Jump Systems
This paper is concerned with delay-dependent exponential stability analysis and stabilization for continuous-time T-S fuzzy Markovian jump systems with mode-dependent time-varying delay. By constructing a novel Lyapunov-Krasovskii functional and utilizing some advanced techniques, less conservative conditions are presented to guarantee the closed-loop system is mean-square exponentially stable....
متن کاملPrediction of global sea cucumber capture production based on the exponential smoothing and ARIMA models
Sea cucumber catch has followed “boom-and-bust” patterns over the period of 60 years from 1950-2010, and sea cucumber fisheries have had important ecological, economic and societal roles. However, sea cucumber fisheries have not been explored systematically, especially in terms of catch change trends. Sea cucumbers are relatively sedentary species. An attempt was made to explore whether the tim...
متن کاملPerishable Inventory Model with Retrial Demands, Negative Customers and Multiple Working Vacations
This paper presents the analysis of a continuous review perishable inventory system wherein the life time of each item follows an exponential distribution. The operating policy is (s,S) policy where the ordered items are received after a random time which follows exponential distribution. Primary arrival follows Poisson distribution and they may turnout to be posit...
متن کاملStatic analysis of rectangular nanoplates using exponential shear deformation theory based on strain gradient elasticity theory
In this research, the bending analysis of rectangular nanoplates subjected to mechanical loading is investigated. For this purpose, the strain gradient elasticity theory with one gradient parameter is presented to study the nanoplates. From the best knowledge of authors, it is the first time that the exponential shear deformation formulation based on strain gradient elasticity theory is carried...
متن کاملMagnetohydrodynamic Modeling of Solar Magnetic Arcades Using Exponential Propagation Methods
Advanced numerical methods based on exponential propagation have been applied to mag netohydrodynamic MHD simulations This recently developed numerical technique e volves the system of nonlinear equations using exponential propagation of the Jacobian matrix The exponential of the matrix is approximated by projecting it onto the Krylov subspace using the Arnoldi algorithm The primary advantage o...
متن کامل